../../../../../lib/t/most_ex7_suc.m